// 可以用r、e、d三种字符拼接字符串，如果拼出来的字符串中
// 有且仅有1个长度>=2的回文子串，那么这个字符串定义为"好串"
// 返回长度为n的所有可能的字符串中，好串有多少个
// 结果对 1000000007 取模， 1 <= n <= 10^9
// 示例：
// n = 1, 输出0
// n = 2, 输出3
// n = 3, 输出18
#include<iostream>
#include<vector>
#include<string>
using namespace std;
string path;
string ret("red");
int ans =0;
bool chech2(string&s,int left,int right )
{
    while(left<=right)
    {
        if(s[left]!=s[right])
        {
            return false;
        }
        left++;right--;
    }
    return true;
}
bool check(string& s)
{
    int answer =0;
    //遍历所有的子串看看有几个会回文
    for(int i=0;i<s.size();i++)
    {
        for(int j=i+1;j<s.size();j++)
        {
            if(chech2(s,i,j)) answer++;
            if(answer>=2) break;;
        }
    }
    return answer==1;
}
void dfs(int n)
{
    if(n==path.size())
    {
        //cout<<path<<endl;
        if(check(path))
        {
            ans++;
        }
        return;
    }
    for(int i =0;i<3;i++)
    {
        path.push_back(ret[i]);
        dfs(n);
        path.pop_back();
    }

}
int solve(int n)
{
    if(n==0) return 0;
    if(n==1) return 0;
    if(n==2) return 3;
    if(n==3) return 18;
    return 30+(n-4)*6;
}
int main()
{
    int n;cin>>n;
    // for(int i=0;i<=n;i++)
    // {
    //     if(i==0) {cout<<0<<":"<<0<<endl;continue;}
    //     dfs(i);
    //     cout<<i<<":"<<ans<<endl;
    //     path.clear();
    //     ans=0;
    // }
    for(int i=0;i<=n;i++) cout<<i<<":"<<solve(i)<<endl;
    return 0;
}
